Defying Upward and Downward Separation

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Upward Morley's theorem downward

By a celebrated theorem of Morley, a theory T is א1-categorical if and only if it is κ-categorical for all uncountable κ. In this paper we are taking the first steps towards extending Morley’s categoricity theorem “to the finite”. In more detail, we are presenting conditions, implying that certain finite subsets of certain א1-categorical T have at most one n-element model for each natural numbe...

متن کامل

Comparison of Upward and Downward Generalizations in CF-Induction

CF-induction is a sound and complete procedure for finding hypotheses in full clausal theories. It is based on the principle of Inverse Entailment (IE), and consists of two procedures: construction of a bridge theory and generalization of it. There are two possible ways to realize the generalization task in CF-induction. The one uses a single deductive operator, called γ-operator, and the other...

متن کامل

Depressive states amplify both upward and downward counterfactual thinking.

Depression has been linked to counterfactual thinking in many behavioral studies, but the direction of this effect remains disputed. In the current study, the relationship between depression and counterfactual thinking was examined using the event-related potential (ERP) technique. In a binary choice gambling task, outcome feedback of the chosen option and that of the alternative option were bo...

متن کامل

Upward and Downward Runs on Partially Ordered Sets

We consider Markov chains on partially ordered sets that generalize the success-runs and remaining life chains in reliability theory. We find conditions for recurrence and transience and give simple expressions for the invariant distributions. We study a number of special cases, including rooted trees, uniform posets, and posets associated with positive semigroups. 1 Partially Ordered Sets 1.1 ...

متن کامل

Bits don’t have error bars: upward conceptualization and downward approximation

How engineering enabled abstraction in computer science. 1. Turning dreams into reality What has been is what will be, and what has been done is what will be done; there is nothing new under the sun. Is there a thing of which it is said, "See, this is new"? – Ecclesiastes 1:9-10 Although Ecclesiastes says “No,” engineers and computer scientists say “Yes, there are things that are new under the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Information and Computation

سال: 1995

ISSN: 0890-5401

DOI: 10.1006/inco.1995.1119